package rostering;
import JaCoP.constraints.Sum;
import JaCoP.core.BooleanVar;
import JaCoP.core.IntVar;
import JaCoP.core.Store;


public class WorkerC extends Worker{
	public WorkerC(Store store, int workerNbr){
		super(store);
		for(IntVar day : daysWorkingList){
			day.id +="C"+workerNbr;
		}
		nbrOfDaysWorking=new IntVar(this.store, "WorkerC"+workerNbr, 5,5);
		BooleanVar[] daysWorkingArray=new BooleanVar[daysWorkingList.size()];
		daysWorkingList.toArray(daysWorkingArray);
		this.store.impose(new Sum(daysWorkingArray,nbrOfDaysWorking));
		
		addConsecutiveConstraints(daysWorkingArray, "WorkerCConsec"+workerNbr, 4);
	}
}
